\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}The data-structure}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Implementation of data-structure}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}The BDD file}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {3}The header file}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Definitions}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Global Variables}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Functions}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Read File}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {7}The main function}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Structure of the program}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {9}License and other stuff}{4}}
